1. Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
المؤلف: E. Brger...]et al.[, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
702